Results for 'Francisco Soler Peña'

999 found
Order:
  1. El Origen de la Obra de Arte y la Verdad En Heidegger. Seguido de la Traducción Del Ensayo de Heidegger "El Origen de la Obra de Arte" y Del Vocabulario Filosófico de Heidegger.Francisco Soler Grimma & Martin Heidegger - 1953 - Universidad Nacional de Colombia, Extensión Cultural, Facultad de Filosofía y Letras.
     
    Export citation  
     
    Bookmark  
  2. Los enunciados de base empírica a la luz de los métodos científicos defendidos por Rudolf Carnap y Karl Popper.Francisco Soler Peña - 2008 - Logos (La Salle) 13:63-71.
    El siguiente artículo se propone mostrar una aplicación de las series infinitas en un problema netamente filosófico, a la vez que pasa del análisis de un pensador moderno al de uno contemporáneo. Se expone un complemento a la filosofía de David Hume desde la filosofía carnapiana, concretamente en el problema de la inducción. Se desarrolla una justificación para la inducción a partir de un argumento basado en Carnap y las series infinitas haciendo alusión al carácter potencial y actual del infinito.
    No categories
     
    Export citation  
     
    Bookmark  
  3. Fine Tuning Explained? Multiverses and Cellular Automata.Francisco José Soler Gil & Manuel Alfonseca - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):153-172.
    The objective of this paper is analyzing to which extent the multiverse hypothesis provides a real explanation of the peculiarities of the laws and constants in our universe. First we argue in favor of the thesis that all multiverses except Tegmark’s “mathematical multiverse” are too small to explain the fine tuning, so that they merely shift the problem up one level. But the “mathematical multiverse" is surely too large. To prove this assessment, we have performed a number of experiments with (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4.  17
    Die prasentistische Auffassung der Zeit im Kontext der Relativitatstheorien und der Quantenkosmologie von James Hartle und Stephen Hawking: Ein Vergleich (Teil II) Prasentismus und Quantenkosmologie.Francisco José Soler Gil - 2007 - Philosophia Naturalis 44 (1):144-180.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  5.  28
    Die präsentistische Auffassung der Zeit im Kontext der Relativitätstheorien und der Quantenkosmologie von James Hartle und Stephen Hawking: Ein Vergleich (Teil I) Präsentismus und Relativität.Francisco José Soler Gil - 2007 - Philosophia Naturalis 44 (1):114-143.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  7
    El universo a debate: una introducción a la filosofía de la cosmología.Soler Gil & Francisco José - 2016 - Madrid: Biblioteca Nueva.
  7.  33
    Eine Welt ohne Individuelle EntitÄten?Francisco José Soler Gil - 2004 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 35 (2):331-349.
    A world without individual entities? An advice to not to extract immediate ontological consequences from quantum theory. Should we assume a world without individual entities? I pledge not to extract immediate ontological consequences from quantum theory. My intention is to focus on the complexity of ontological concepts commonly associated with quantum theory. Using as an example the compatibility of EPR correlations with the existence of individual entities, it is shown that an absolute rejection of an ontological category, based on some (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  8. La mecánica es muy bonita, pero no da para tanto.Francisco José Soler Gil - 2008 - Thémata: Revista de Filosofía 40:267-275.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  13
    Monitoring indicators of health care quality by means of a hospital register of tumours.Maximino Redondo, Francisco Rivas-Ruiz, M. Carmen Guzman-Soler & Carlos Labajos - 2008 - Journal of Evaluation in Clinical Practice 14 (6):1026-1030.
  10.  6
    Apuntes acerca del pensar de Heidegger.Francisco Soler - 1983 - Santiago de Chile: Editorial Andrés Bello. Edited by Jorge Acevedo.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  11.  96
    About the Infinite Repetition of Histories in Space.Francisco José Soler Gil & Manuel Alfonseca - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):361-373.
    This paper analyzes two different proposals, one by Ellis and Brundrit, based on classical relativistic cosmology, the other by Garriga and Vilenkin, based on the DH interpretation of quantum mechanics, both concluding that, in an infinite universe, planets and beings must be repeated an infinite number of times. We point to possible shortcomings in these arguments. We conclude that the idea of an infinite repetition of histories in space cannot be considered strictly speaking a consequence of current physics and cosmology. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  17
    Die präsentistische Auffassung der Zeit im Kontext der Relativitätstheorien und der Quantenkosmologie von James Hartle und Stephen Hawking: Ein Vergleich (Teil II) Präsentismus und Quantenkosmologie.Francisco José Soler Gil - 2007 - Philosophia Naturalis 44 (1):144-180.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  5
    El origen de la obra de arte y la verdad en Heidegger: seguido de la traducción del ensayo de Heidegger "El origen de la obra de arte" y del vocabulario filosófico de Heidegger.Francisco Soler - 1953 - Bogotá: Universidad Nacional de Colombia, Extensión Cultural, Facultad de Filosofía y Letras. Edited by Martin Heidegger.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14.  6
    Eine Welt ohne Individuelle EntitÄten?: Eine Warnung, voreilig revolutionäre ontologische Konsequenzen aus der Quantentheorie zu ziehen.Francisco José Soler Gil - 2004 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 35 (2):331-349.
    A world without individual entities? An advice to not to extract immediate ontological consequences from quantum theory. Should we assume a world without individual entities? I pledge not to extract immediate ontological consequences from quantum theory. My intention is to focus on the complexity of ontological concepts commonly associated with quantum theory. Using as an example the compatibility of EPR correlations with the existence of individual entities, it is shown that an absolute rejection of an ontological category, based on some (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  15.  3
    La plenitud hacia la que tendemos: historia de una discusión truncada.Francisco José Soler Gil - forthcoming - Thémata Revista de Filosofía.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  25
    Evolving a predator-prey ecosystem of mathematical expressions with grammatical evolution.Manuel Alfonseca & Francisco José Soler Gil - 2015 - Complexity 20 (3):66-83.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  17.  89
    About the Infinite Repetition of Histories in Space.Manuel Alfonseca & Francisco José Soler Gil - 2014 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 29 (3):361.
    This paper analyzes two different proposals, one by Ellis and Brundrit, based on classical relativistic cosmology, the other by Garriga and Vilenkin, based on the DH interpretation of quantum mechanics, both concluding that, in an infinite universe, planets and beings must be repeated an infinite number of times. We point to possible shortcomings in these arguments. We conclude that the idea of an infinite repetition of histories in space cannot be considered strictly speaking a consequence of current physics and cosmology. (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Effectiveness of eHealth-Based Psychological Interventions for Depression Treatment in Patients With Type 1 or Type 2 Diabetes Mellitus: A Systematic Review. [REVIEW]Esperanza Varela-Moreno, Mónica Carreira Soler, José Guzmán-Parra, Francisco Jódar-Sánchez, Fermín Mayoral-Cleries & María Teresa Anarte-Ortíz - 2022 - Frontiers in Psychology 12.
    BackgroundComorbidity between diabetes mellitus and depression is highly prevalent. The risk of depression in a person with diabetes is approximately twice that of a person without this disease. Depression has a major impact on patient well-being and control of diabetes. However, despite the availability of effective and specific therapeutic interventions for the treatment of depression in people with diabetes, 50% of patients do not receive psychological treatment due to insufficient and difficult accessibility to psychological therapies in health systems. The use (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  41
    Women on the Board and Managers’ Pay: Evidence from Spain.Gregorio Sánchez-Marín, Juan Francisco Martín-Ugedo, Juan Samuel Baixauli-Soler, Antonio Mínguez-Vera & Maria Encarnación Lucas-Pérez - 2015 - Journal of Business Ethics 129 (2):265-280.
    The current literature shows great interest in the issue of gender diversity on boards of directors. Some studies have hypothesized a direct relationship between diversity and the value of the firm, but not many examine the intermediate mechanisms that may exert an influence on such relationships. We employ two stages of GMM estimation methodology to exhibit evidences of the relationship between gender diversity and compensation of top managers in the Spanish context. Results show that gender diversity positively affects the effectiveness (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  20.  8
    Nuevos escritos y poemas.Josep Soler - 2003 - Zaragoza, España: Libros del Innombrable.
    Sobre el tiempo y la música -- Las óperas de Josep Soler -- Kom-Ombo -- El misterio de San Francisco.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  7
    Francisco Soler Grima y la recepción de Ortega en Chile.Jorge Acevedo Guerra - 2023 - Otrosiglo 7:111-125.
    Texto presentado en el Congreso Internacional “Recepciones de Ortega y Gasset en Chile” celebrado en el Centro Cultural de España en Santiago durante los días 30 y 31 de mayo de 2018, en Santiago de Chile. Forma parte de la compilación recogida en número especial de la Revista de Filosofía Otrosiglo, en junio del 2023.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22. Ibn Jaldún ante la mirada de Ortega y Gasset y Julián Marías (metahistoria y generaciones) a la memoria de Julián Marías (1914-2005) y de Francisco Soler (1924-1982).Jorge Acevedo Guerra - 2007 - Escritos 15 (35):260-269.
    Desde la visión de Ortega y Gasset y Julián Marías aparece el pensador Árabe Ibn Jaldún como uno de los principales puentes tendidos entre Oriente y Occidente, tanto que es considerado por ambos como el primer filósofo de la historia. Según afirmaciones de Ortega, el pensador árabe es el cimiento que heredaron las generaciones de ambos pensadores españoles.
     
    Export citation  
     
    Bookmark  
  23.  18
    Soler Gil, francisco J.: Mitología materialista de la ciencia, madrid: Ediciones encuentro, 2013.Pedro Jesús Teruel - 2014 - Daimon: Revista Internacional de Filosofía 62.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  10
    ¿Naturalismo versus Teísmo? La polémica Diéguez-Soler.Moisés Pérez-Marcos - 2022 - Anuario Filosófico 55 (2):265-296.
    En el presente artículo se analizan los tres ejes del debate en la polémica que hace unos años han mantenido Antonio Diéguez Lucena y Francisco José Soler Gil: i) la causación mental y su posible explicación en clave naturalista, ii) los méritos y límites explicativos de una posible alternativa teísta y iii) la conveniencia o no de una metodología naturalista en filosofía.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  37
    Science After the Practice Turn in the Philosophy, History, and Social Studies of Science.Lena Soler, Sjoerd Zwart, Michael Lynch & Vincent Israel-Jost (eds.) - 2014 - New York: Routledge.
    In the 1980s, philosophical, historical and social studies of science underwent a change which later evolved into a turn to practice. Analysts of science were asked to pay attention to scientific practices in meticulous detail and along multiple dimensions, including the material, social and psychological. Following this turn, the interest in scientific practices continued to increase and had an indelible influence in the various fields of science studies. No doubt, the practice turn changed our conceptions and approaches of science, but (...)
    Direct download  
     
    Export citation  
     
    Bookmark   33 citations  
  26.  23
    La nissaga catalana del món clàssic.Montserrat Tudela I. Penya - 2012 - Methodos. Revista de didàctica dels estudis clàssics 1:303.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  4
    Ontología y derecho positivo.Francisco V. Torija Zane - 2001 - Ciudad de Buenos Aires: Hammurabi.
    Direct download  
     
    Export citation  
     
    Bookmark  
  28.  22
    The Garden and Landscape as an Interdisciplinary Resource Between Experimental Science and Artistic–Musical Expression: Analysis of Competence Development in Student Teachers.Amparo Hurtado-Soler, Pablo Marín-Liébana, Silvia Martínez-Gallego & Ana María Botella-Nicolás - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29.  21
    Foucault E Gadamer: Entre a hermenêutica E a ética do cuidado de si.Rodrigo Diaz de Vivar Y. Soler - 2017 - Cadernos Do Pet Filosofia 8 (15):1-11.
    Nosso ensaio procura explorar as relações entre o cuidado de si e a experiência de uma ética originária no contexto da hermenêutica. Num primeiro momento apresentamos os desdobramentos do cuidado de si e os exercícios espirituais da filosofia antiga a partir das contribuições dos pensamentos de Foucault e Hadot. Esses dois intelectuais elaboram uma contextualização desse princípio como uma relação entre o cuidado de si e os exercícios espirituais compreendidos como um trabalho do sujeito sobre si mesmo no que se (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  7
    Filosofía de la historia y religión en G. W. F. Hegel.Julio Antonio Gutierrez Soler - 2023 - Studia Hegeliana 9:45-64.
    No es nuestro propósito relatar el trabajo de Hegel en sus Lecciones de la Historia universal, por el contrario, queremos aprehender el concepto de desarrollo de la historia a partir de la acción (tat) del espíritu, en tanto la historia -dice Hegel- es “la sustancia del espíritu”. Y esta temática la desarrolla tanto en la Enciclopedia, como en la Fenomenología del espíritu, así como en las Lecciones de filosofía de la religión (especialmente en 1828) y en su Filosofía del derecho. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  69
    Studies in the philosophy of biology: reduction and related problems.Francisco Jose Ayala & Theodosius Dobzhansky - 1974 - Berkeley: University of California Press. Edited by Francisco J. Ayala & Theodosius Dobzhansky.
    . Introductory Remarks THEODOSIUS DOBZHANSKY The problems of reduction in biology are currently of considerable theoretical interest and practical ...
    Direct download  
     
    Export citation  
     
    Bookmark   17 citations  
  32.  24
    Posiciones éticas: entre el cuidado de sí y el prójimo.Guillem Martí Soler - 2014 - Isegoría 51:793-808.
    Una aproximación a dos reflexiones filosóficas contemporáneas. En primer lugar, abordamos las últimas aportaciones de Michel Foucault sobre la ética, en el marco de la noción de “cuidado de sí”. En segundo lugar, nos ocupamos de la ética de Emmanuel Levinas, centrada en la idea del prójimo. El mismo marco de una ética del otro permite un enlace con algunas ideas de Simone Weil. Sin pretenderlas congruentes, estas dos filosofías conllevan una importante crítica de la noción de sujeto y de (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  31
    Measuring evidence: a probabilistic approach to an extension of Belnap–Dunn logic.Abilio Rodrigues, Juliana Bueno-Soler & Walter Carnielli - 2020 - Synthese 198 (S22):5451-5480.
    This paper introduces the logic of evidence and truth \ as an extension of the Belnap–Dunn four-valued logic \. \ is a slightly modified version of the logic \, presented in Carnielli and Rodrigues. While \ is equipped only with a classicality operator \, \ is equipped with a non-classicality operator \ as well, dual to \. Both \ and \ are logics of formal inconsistency and undeterminedness in which the operator \ recovers classical logic for propositions in its scope. (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  34.  31
    Possible-translations algebraization for paraconsistent logics.Juliana Bueno-Soler & W. A. Carnielli - 2005 - Bulletin of the Section of Logic 34 (2):77-92.
  35.  41
    Psychometric Properties of the Cognitive Emotion Regulation Questionnaire in Patients with Fibromyalgia Syndrome.Albert Feliu-Soler, Elvira Reche-Camba, Xavier Borràs, Adrián Pérez-Aranda, Laura Andrés-Rodríguez, María T. Peñarrubia-María, Mayte Navarro-Gil, Javier García-Campayo, Juan A. Bellón & Juan V. Luciano - 2017 - Frontiers in Psychology 8.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  11
    Pediatric surgery in Cuba. Stages of its development.Rafael Manuel Trinchet Soler & Velázquez Rodríguez - 2014 - Humanidades Médicas 14 (3):742-750.
    La historia de la Cirugía Pediátrica cubana está pendiente de ser documentada científicamente. Se estableció como objetivo definir las etapas de desarrollo de la especialidad en Cuba, para lo cual se hizo un análisis histórico y se identificó cuatro períodos fundamentales. Este artículo tiene una significación práctica puesto que permite conocer en qué momento se encuentra la especialidad para modelar el futuro de la misma. The history of Cuban pediatric surgery is pending of being scientifically documented. It was established as (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  28
    19. The Concept of Biological Progress.Francisco J. Ayala - 1974 - In Francisco Jose Ayala & Theodosius Dobzhansky (eds.), Studies in the philosophy of biology: reduction and related problems. Berkeley: University of California Press. pp. 339.
  38.  36
    Completeness and incompleteness for anodic modal logics.Juliana Bueno-Soler - 2009 - Journal of Applied Non-Classical Logics 19 (3):291-310.
    We propose a new approach to positive modal logics, hereby called anodic modal logics. Our treatment is completely positive since the language has neither negation nor any falsum or minimal particle. The elimination of the minimal particle of the language requires introducing the new concept of factual sets and factual deductions which permit us to talk about deductions in the actual world. We start from a positive fragment of the standard system K, denoted by K⊃, ∧, ◊, which is a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  39.  13
    Models for anodic and cathodic multimodalities.Juliana Bueno-Soler - 2012 - Logic Journal of the IGPL 20 (2):458-476.
    A system is classified as multimodal if its language has more than one modal operator as primitive, and such operators are not interdefinable. We extend the anodic and cathodic modal systems, introduced in Bueno-Soler and Bueno-Soler , to a class of the so-called basilar multimodal systems generating, in this way, the classes of anodic and cathodic multimodal logics. The cathodic multimodal systems are defined as extensions of positive multimodal systems by adding degrees of negation plus consistency operators. In (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  19
    God is a Female Plant: Femininity and Divinity in the Stories of Anne Richter, Kathe Koja, and Karen Russell.Nieves Pascual Soler - 2021 - The European Legacy 26 (3-4):316-326.
    ABSTRACT This essay is concerned with the relationship between femininity and divinity in feminist speculative fiction. It equates becoming divine with becoming plant, and studies the transformations that attend women in this process in modernity, postmodernity and transmodernity. Taking as its point of departure Mark Taylor’s evolution of the concept of God through immanence, transcendence and immanent transcendence, and Rosa María Rodríguez Magda’s definition of transmodernity, it examines “The Sleep of Plants” by Anne Richter, “The Neglected Garden” by Kathe Koja, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Two semantical approaches to paraconsistent modalities.Juliana Bueno-Soler - 2010 - Logica Universalis 4 (1):137-160.
    In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency , introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic . These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  21
    Fifteen Years Controlling Unwanted Thoughts: A Systematic Review of the Thought Control Ability Questionnaire.Albert Feliu-Soler, Adrián Pérez-Aranda, Jesús Montero-Marín, Paola Herrera-Mercadal, Laura Andrés-Rodríguez, Natalia Angarita-Osorio, Alishia D. Williams & Juan V. Luciano - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  11
    Cultural Action for Freedom.Paulo Freire, Marta Soler-Gallart & Bárbara M. Brizuela - 1972 - Harvard Educational Review.
    In this volume, we have chosen to highlight the importance of education to human rights by reprinting two articles written by Paulo Freire in 1970 for the _Harvard Educational Review_. These articles contain many of Freire's original ideas on human rights and education—issues that are central to his work. Freire was a pioneer in promoting the universal right to education and literacy as part of a commitment to people's struggle against oppression. As Jerome Bruner recognized after Freire's death in May (...)
    Direct download  
     
    Export citation  
     
    Bookmark   35 citations  
  44.  13
    THOMPSON, Evan. Mind in Life.Eric Arnau Soler - 2011 - Enrahonar: Quaderns de Filosofía 47:263-266.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  45.  51
    Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.
    This paper shows that some classes of multimodal paraconsistent logics endowed with weak forms of negation are incompletable with respect to Kripke semantics. The reach of such incompleteness is discussed, and we argue that this shortcoming, more than just a logical predicament, may be relevant for attempts to characterize quantum logics and to handle quantum information and quantum computation.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46. Decibilidad de la lógica de predicados monádicos por el método de la recusación.Magí Cadevall Soler - 1976 - Teorema: International Journal of Philosophy 6 (3-4):455-484.
    No categories
     
    Export citation  
     
    Bookmark  
  47. The spectres of Andrés Bello in the Chilean academy.Francisco Durán del Fierro - 2024 - Cinta de Moebio 79:56-70.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  26
    Does socially responsible mutual fund performance vary over the business cycle? New insights on the effect of idiosyncratic SR features.Juan Carlos Matallín‐Sáez, Amparo Soler‐Domínguez, Diego Víctor de Mingo‐López & Emili Tortosa‐Ausina - 2018 - Business Ethics: A European Review 28 (1):71-98.
    This study analyses the performance and market timing of US socially responsible (SR) mutual funds in relation to business cycle regime shifts and different grouping criteria: Ethical strategy focus, SR attributes scores and Morningstar category. Different methodologies are applied and results highlight the importance of considering specific benchmarks related to the investment style in evaluating the SR fund performance. Our results show that, in aggregate, the abnormal performance of SR funds is negative and significant in expansion periods, but no significant (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  49. Model checking distributed temporal logic.Francisco Dionísio, Jaime Ramos, Fernando Subtil & Luca Viganò - forthcoming - Logic Journal of the IGPL.
    The distributed temporal logic (DTL) is a logic for reasoning about temporal properties of distributed systems from the local point of view of the system’s agents, which are assumed to execute sequentially and to interact by means of synchronous event sharing. Different versions of DTL have been provided over the years for a number of different applications, reflecting different perspectives on how non-local information can be accessed by each agent. In this paper, we propose an automata-theoretic model checking algorithm for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  6
    Religión e historia en Kant.Francisco Javier Herrero - 1975 - [Madrid]: Gredos.
1 — 50 / 999